Reportrapport Modal Model Theory Modal Model Theory
نویسندگان
چکیده
This paper contributes to the model theory of modal logic using bisimulations as the fundamental tool. A uniform presentation is given of modal analogues of well-known deenability and preservation results from rst-order logic. These results include algebraic characterizations of modal equivalence, and of the modally deenable classes of models; the preservation results concern preservation of modal formulas under submodels, unions of chains, and homomorphisms.
منابع مشابه
Comparison between the frequencies of FML and composite cylindrical shells using beam modal function model
A comparison between the vibration of fiber-metal laminate (FML) and composite cylindrical shells has been studied in this manuscript. Love’s first approximation shell theory has been applied to obtain Strain-displacement relations. In addition, beam modal function model has been used to analyze the cylindrical shell with different boundary conditions. In this manuscript, the frequencies of FML...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملTransverse Sensing of Simply Supported Truncated Conical Shells
Modal signals of transverse sensing of truncated conical shells with simply supported boundary condition at both ends are investigated. The embedded piezoelectric layer on the surface of conical shell is used as sensors and output voltages of them in considered modes are calculated. The Governing sensing signal displacement equations are derived based on the Kirchhoff theory, thin-shell assumpt...
متن کاملDiscrepancies Between Free Vibration of FML and Composite Cylindrical Shells Reinforced by CNTs
In this study, discrepancies between the free vibration of fiber-metal laminate (FML) and composite cylindrical shells reinforced by carbon nanotubes (CNTs) based on Love’s first approximation shell theory have been considered by beam modal function model. The representative volume elements consist of three and four phases for composite and FML structures, respectively, which include fiber, CNT...
متن کاملA Zigzag Theory with Local Shear Correction Factors for Semi-Analytical Bending Modal Analysis of Functionally Graded Viscoelastic Circular Sandwich Plates
Free bending vibration analysis of the functionally graded viscoelastic circular sandwich plates is accomplished in the present paper, for the first time. Furthermore, local shear corrections factors are presented that may consider simultaneous effects of the gradual variations of the material properties and the viscoelastic behaviors of the materials, for the first time. Moreover, in contrast ...
متن کامل